bitkeeper revision 1.1637.1.1 (429f100et_8vOZLTej8un3-WOmraFg)
authorcl349@firebug.cl.cam.ac.uk <cl349@firebug.cl.cam.ac.uk>
Thu, 2 Jun 2005 13:56:30 +0000 (13:56 +0000)
committercl349@firebug.cl.cam.ac.uk <cl349@firebug.cl.cam.ac.uk>
Thu, 2 Jun 2005 13:56:30 +0000 (13:56 +0000)
commita6b2e4dcdb74000962237ec1d2640d55b5bd01b1
tree26a34d512ad3bad5566f1e12cedcfef05001fcbb
parent9ed4cfb2cad4fe16f26e37e9aff13f6d8eb63289
bitkeeper revision 1.1637.1.1 (429f100et_8vOZLTej8un3-WOmraFg)

Fix bug #68: x86_64 build break - `pgd_cache' undeclared
http://bugzilla.xensource.com/cgi-bin/bugzilla/show_bug.cgi?id=68
reboot.c:
  Fix x86_64 build.
Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>
linux-2.6.11-xen-sparse/arch/xen/kernel/reboot.c